Metz (Moselle). 9, rue du Wad Bouton

Application Development under Parcel-1 Sup Elec 2 Rue Edouard Belin F-57078 Metz Cedex 3

In this paper, we present several kinds of programs developed in a new parallel language, ParCeL-1. This language is based on autonomous actors that compute concurrently as virtual processors. The applications we present here cover various domains of interest to artiicial intelligence, especially tree search and connectionist programming. We present general methods to develop such kinds of algo...

Mesusage du tramadol par les adolescents et jeunes adultes en situation de rue

L’objectif de cette étude transversale et descriptive était de décrire quelques caractéristiques de l’addiction au Tramadol chez les adolescents et jeunes adultes en situation de rue, rattachés aux centres d’écoute du Service Educatif, Judiciaire et préventif (SEJUP) de Niamey. Le recueil des données a porté sur les variables sociodémographiques et la consommation de tramadol. L’analyse des don...

Selective growth of GaN nanodots and nanostripes on 6H-SiC substrates by metal organic vapor phase epitaxy

1 Georgia Institute of Technology/GTL UMI 2958 Georgia Tech-CNRS, 2-3 rue Marconi, 57070 Metz, France 2 Laboratoire Matériaux Optiques, Photonique et micro-nano Systèmes – UMR CNRS 7132, Université de Metz et SUPELEC, 2 rue Edouard Belin, 57070 Metz, France 3 Department of Physics, New Jersey Institute of Technology, Newark, New Jersey 07102, USA 4 Laboratoire de Photonique et de Nanostructures...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...